Characterizing Model Completeness Among Mutually Algebraic Structures
نویسندگان
چکیده
منابع مشابه
Characterizing Model Completeness Among Mutually Algebraic Structures
We characterize when the elementary diagram of a mutually algebraic structure has a model complete theory, and give an explicit description of a set of existential formulas to which every formula is equivalent. This characterization yields a new, more constructive proof that the elementary diagram of any model of a strongly minimal, trivial theory is model complete.
متن کاملMutually algebraic structures and expansions by predicates
We introduce the notion of a mutually algebraic structure and prove many equivalents. A structure M is mutually algebraic if and only if it has a weakly minimal, trivial theory if and only if every expansion (M,A) by a unary predicate does not have the finite cover property. We show that every structure has a maximal mutually algebraic reduct, and give a strong structure theorem for the class o...
متن کاملAlgebraic model structures
We define a new notion of an algebraic model structure, in which the cofibrations and fibrations are retracts of coalgebras for comonads and algebras for monads, and prove “algebraic” analogs of classical results. Using a modified version of Quillen’s small object argument, we show that every cofibrantly generated model structure in the usual sense underlies a cofibrantly generated algebraic mo...
متن کاملMonoidal Algebraic Model Structures
Extending previous work, we define monoidal algebraic model structures and give examples. The main structural component is what we call an algebraic Quillen two-variable adjunction; the principal technical work is to develop the category theory necessary to characterize them. Our investigations reveal an important role played by “cellularity”—loosely, the property of a cofibration being a relat...
متن کاملMathematical Logic Homogenizable structures and model completeness
A homogenizable structure M is a structure where we may add a finite number of new relational symbols to represent some ∅−definable relations in order to make the structure homogeneous. In this article we will divide the homogenizable structures into different classes which categorize many known examples and show what makes each class important. We will show that model completeness is vital for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2015
ISSN: 0029-4527
DOI: 10.1215/00294527-3132815